Field Generated by Finitely Many Algebraic Elements is Algebraic
Theorem
Let
Proof
First note that
Then, if
Thus the result follows by induction on